1. Martin Davis on computability, computational logic, and mathematical foundations
پدیدآورنده : Eugenio G. Omodeo, Alberto Policriti, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Number theory,، Logic, Symbolic and mathematical,، Davis, Martin, 8291-,، Mathematicians -- United States
رده :
QA
241
.
M38
